Ideas from 'A Note on the entscheidungsproblem' by Alonzo Church [1936], by Theme Structure
[found in 'Journal of Symbolic Logic' (ed/tr -) [- ,]].
green numbers give full details |
back to texts
|
expand this idea
5. Theory of Logic / K. Features of Logics / 7. Decidability
18758
|
Validity is provable, but invalidity isn't, because the model is infinite [McGee]
|